ma{-}random($M$;$T$;$v$;$i$;$a$;$n$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$ != ($M$.2.2.2.2.2.2.2.2.2.2.2).1($a$) $\Rightarrow$ ($T$ $\subseteq$r Outcome) c$\wedge$ ($v$ = random($p$;$i$;$a$)($n$))